面向正确性的程序设计orient: adj. 1. 〔诗〕东方的;东洋的。 2.(太阳等)上 ...correctness oriented programming: 正确性的程序设计programming correctness proof: 程序正确性证明access-oriented programming: 面向存取agent-oriented programming: 编程技术的一次飞跃; 程序设计下载手机词典可随时随地查词查翻译